Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
Advanced Topics in Term Rewriting
VU 2 SS 2005 LVA 703610